| emsoft | participants

Dejan Ničković

EMSOFT 2020: 20th International Conference on Embedded Software

Mining Shape Expressions From Positive Examples

EMSOFT 2018: 18th International Conference on Embedded Software

An Algebraic Framework for Runtime Verification